Language Elements
- Statements
  - if
  - if-else
  - for
  - sfor
  - while
- Learn rules
  - =>
  - _=>
  - +=>
  - .=>
  - #=>
  - !=>
- Infix type 1
  - +
  - -
  - .
  - _
  - __
  - :_
- Infix type 2
  - ==
  - !=
  - >=
  - >
  - <=
  - <
  - &&
  - ||
  - ++
  - --
  - **
  - //
  - %%
  - ^^
  - ..
- Miscellaneous elements
  - |>
  - comment
  - label descent
  - |*>
  - |category: *>
  - |_self>
  - (*,*)
  - |__self>
  - |context>
  - supported-ops
  - dump
  - if-then machine
  - if-then operator
- Object types
- Operator types
  - sigmoid
  - numeric
  - simple
  - compound
  - function
  - bracket
  - powered
  - op-sequence
Operators
- Core Operators
  - Normal
    - coeff-sort
    - do-you-know
    - drop
    - how-many
    - ket-sort
    - measure-currency
    - natural-sort
    - normalize
    - pick-elt
    - rescale
    - reverse
    - rotate-left
    - rotate-right
    - sdrop
    - show-many
    - shuffle
    - sidx
    - sreverse
    - srotate-left
    - srotate-right
    - sshuffle
    - weighted-pick-elt
  - Compound
    - drop-above
    - drop-below
    - normalize
    - pick
    - rescale
    - rotate-left
    - rotate-right
    - select
    - srotate-left
    - srotate-right
    - sselect
  - Compound context
    - sort-by
- Sigmoid Operators
  - Normal
    - ReLU
    - clean
    - invert
    - sigmoid-dec
    - sigmoid-inc
  - Compound
- Ket Operators
  - Normal
    - TM-compress-stars
    - TM-ket-hash
    - ceiling
    - floor
    - gmessage
    - is-prime
    - ket-length
    - log
    - pop-float
    - prime-factors
    - print
    - push-float
    - split
    - ssplit
    - to-comma-number
    - to-lower
    - to-upper
  - Compound
    - Gaussian
    - divide-by
    - has-prefix
    - has-suffix
    - hash
    - int-divide-by
    - is-equal
    - is-greater-equal-than
    - is-greater-than
    - is-in-range
    - is-less-equal-than
    - is-less-than
    - minus
    - mod
    - plus
    - random-int
    - remove-prefix
    - remove-suffix
    - round
    - split
    - ssplit
    - times-by
    - to-lower
    - to-upper
  - Context
    - starts-with
- Superposition Operators
  - Normal
  - Compound
    - bar-chart
    - digit2sp
  - Compound context
    - display-grid
    - gtable
    - learn-grid
    - save-as-dot
    - table
    - tidy-table
    - transpose-table
    - unlearn
- Sequence Operators
  - Normal
  - Context
    - compile
  - Compound
    - display-patch
    - random
    - sdisplay-patch
    - seq-arc-encoder
    - sleep
    - smerge
    - spike-merge
    - sprint
    - tensor-product
  - Compound context
- Function Operators
  - Normal
    - 1 parameter
      - TM-extract-text
      - and
      - is-mbr
      - is-subset
      - mbr
      - not-read
      - not-sread
      - or
      - parallel-sum-sequences
      - read
      - sprint
      - sread
      - substring-position
      - xor
    - 2 parameter
      - and
      - intersection
      - is-equal
      - natural-simm
      - or
      - range
      - simm
      - sprint
      - srange
      - strict-simm
      - string-replace
      - sum
      - swrite
      - transform
      - union
      - unscaled-simm
      - write
      - xor
    - 3 parameter
      - arithmetic
      - range
      - srange
      - value-if
    - 4 parameter
  - Context
    - 1 parameter
      - dump
      - gdump
      - op-zip
      - recursive-dump
      - similar-grid
      - unlearn
    - 2 parameter
    - 3 parameter
      - add-learn
      - learn
      - op-for
      - op-if
      - op-sfor
      - seq-learn
      - smap
    - 4 parameter
      - op-for
      - op-sfor
- All Operators
  - Simple
    - ReLU
    - TM-compress-stars
    - TM-ket-hash
    - TM-sequence-hash
    - ceiling
    - clean
    - coeff-sort
    - compile
    - do-you-know
    - drop
    - extract-category
    - extract-head
    - extract-headless
    - extract-tail
    - extract-value
    - floor
    - gmessage
    - how-many
    - invert
    - is-prime
    - ket-length
    - ket-sort
    - log
    - measure-currency
    - natural-sort
    - normalize
    - pick-elt
    - pop-float
    - prime-factors
    - print
    - push-float
    - rank
    - raw-bar-chart
    - rescale
    - reverse
    - rotate-left
    - rotate-right
    - sdrop
    - seq2sp
    - show-many
    - shuffle
    - sidx
    - sigmoid-dec
    - sigmoid-inc
    - smerge
    - sp2seq
    - split
    - sprint
    - sreverse
    - srotate-left
    - srotate-right
    - sshuffle
    - ssplit
    - starts-with
    - to-comma-number
    - to-lower
    - to-upper
    - weighted-pick-elt
  - Compound
    - Gaussian
    - TM-learn-sentences
    - TM-ngram-partition
    - bar-chart
    - borrow-from-context
    - common
    - copy
    - digit2sp
    - display-grid
    - display-patch
    - divide-by
    - drop-above
    - drop-below
    - equal-input
    - find-inverse
    - gtable
    - has-prefix
    - has-suffix
    - hash
    - inherit
    - inherit-path
    - int-divide-by
    - is-equal
    - is-greater-equal-than
    - is-greater-than
    - is-in-range
    - is-less-equal-than
    - is-less-than
    - learn-grid
    - minus
    - mod
    - natural-similar-input
    - normalize
    - not-threshold-filter
    - op-sum
    - op-union
    - patch-map
    - pick
    - plus
    - random
    - random-int
    - rel-kets
    - remove-prefix
    - remove-suffix
    - rescale
    - rotate-left
    - rotate-right
    - round
    - save-as-dot
    - scompress
    - sdisplay-patch
    - select
    - seq-arc-encoder
    - sigmoid-in-range
    - sigmoid-max
    - sigmoid-min
    - similar-input
    - sleep
    - smap
    - smerge
    - sort-by
    - spatch-map
    - spike-merge
    - split
    - sprint
    - srotate-left
    - srotate-right
    - sselect
    - ssplit
    - star-equal-input
    - stransitive
    - strict-similar-input
    - such-that
    - table
    - tensor-product
    - threshold-filter
    - tidy-table
    - times-by
    - to-lower
    - to-upper
    - transitive
    - transpose-table
    - unlearn
    - unscaled-similar-input
  - Function
    - TM-extract-text
    - add-learn
    - and
    - apply
    - arithmetic
    - dump
    - filter
    - find-operators-between
    - find-path-between
    - gdump
    - grid-simm
    - intersection
    - is-equal
    - is-mbr
    - is-subset
    - learn
    - mbr
    - natural-simm
    - not-filter
    - not-read
    - not-sread
    - op-for
    - op-if
    - op-sfor
    - op-zip
    - or
    - parallel-sum-sequences
    - range
    - read
    - recursive-dump
    - seq-learn
    - similar-grid
    - simm
    - smap
    - sprint
    - srange
    - sread
    - strict-simm
    - string-replace
    - substring-position
    - sum
    - swrite
    - transform
    - union
    - unlearn
    - unscaled-simm
    - value-if
    - write
    - xor
Examples
Website
Github

Home

Operator Usage

Name

dump

Description

dump(|*>) input-sp
dump(|op: op1> + |op: op2> + ... + |op: opn>) input-sp
dump(|ops: op3 op2 op1>) input-sp
when given the |*> ket, dump prints out the knowledge for all supported operators for the given kets
when given kets with prefix "op: " then only print out knowledge for those operators for the given kets
when given kets with prefix "ops: " then print out the knowledge for the operator sequence applied to the given kets
NB: empty rules are ignored and not printed out
NB: simple operators are supported in the operator sequence case

Examples

-- first learn some toy knowledge:
age |Fred> => |37>
friends |Fred> => |Rob> + |Mary> + |Matt> + |Sam>

age |Sam> => |41>
friends |Sam> => |Fred> + |Liz> + |Emma>

-- now see all known knowledge:
dump(|*>) rel-kets[*]
    age|Fred> => |37>
    friends|Fred> => |Rob> + |Mary> + |Matt> + |Sam>

    age|Sam> => |41>
    friends|Sam> => |Fred> + |Liz> + |Emma>

-- now see just the ages:
dump(|op: age>) rel-kets[*]
    age|Fred> => |37>

    age|Sam> => |41>

-- now see ages of friends using an operator sequence:
dump(|ops: age friends>) rel-kets[*]
    age friends|Fred> => |41>

    age friends|Sam> => |37>

-- now see friends of friends using an operator sequence:
dump(|ops: friends friends>) rel-kets[*]
    friends friends|Fred> => |Fred> + |Liz> + |Emma>

    friends friends|Sam> => |Rob> + |Mary> + |Matt> + |Sam>

-- simple operators are also supported:
-- eg, how many friends:
dump(|ops: how-many friends>) rel-kets[*]
    how-many friends|Fred> => |number: 4>

    how-many friends|Sam> => |number: 3>

    how-many friends|*> => |number: 0>

See also

recursive-dump, shell-dump, filter

Operator type

miscellaneous element, context function 1